$\mathbb{B}$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Unit + Unit